LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
نویسندگان
چکیده
منابع مشابه
Dual Intuitionistic Linear Logic
We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation of exponentials as translations of intuitionistic types, and provide it with a term calculus, proving associated standard type-theoretic results. We give a sound and complete categorical semantics for the type-system, and consider the relationship of the new type-theory to the more...
متن کاملQuantum Logic in Intuitionistic Perspective
In their seminal paper Birkhoff and von Neumann revealed the following dilemma : “... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.” In this paper we eliminate this dilemma, providing a way for maintaining bo...
متن کاملA Term Assignment for Dual Intuitionistic Logic
We study the proof-theory of co-Heyting algebras and present a calculus of continuations typed in the disjunctive–subtractive fragment of dual intuitionistic logic. We give a single-assumption multiple-conclusions Natural Deduction system NJ for this logic: unlike the best-known treatments of multiple-conclusion systems (e.g., Parigot’s λ−μ calculus, or Urban and Bierman’s term-calculus) here t...
متن کاملRonnie Hermens Weakly Intuitionistic Quantum Logic
In this article von Neumann’s proposal that in quantum mechanics projections can be seen as propositions is followed. However, the quantum logic derived by Birkhoff and von Neumann is rejected due to the failure of the law of distributivity. The options for constructing a distributive logic while adhering to von Neumann’s proposal are investigated. This is done by rejecting the converse of the ...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2004
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1099238445